System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
891	Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-01-09 21:48:48 Virtual machines Programming language implementation Linux Linux kernel Kernel Just-in-time compilation Interpreter Proof-carrying code JIT spraying System software Software Computer architecture
892	Is Worse Really Better? Richard P. Gabriel In 1989 I gave a keynote speech in Europe in which I lightheartedly presented a design philosophy called worse is better, which I contrasted with another called the right thing. Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:56:08 Object-oriented programming Cross-platform software Lisp programming language Smalltalk Common Lisp Object System Object Io Eiffel C++ Software engineering Computer programming Computing
893	Certified In-lined Reference Monitoring on .NET∗ Kevin W. Hamlen Cornell University Greg Morrisett Harvard University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-11-12 14:40:18 Type theory Data types Common Intermediate Language Type system Type safety C Sharp .NET Framework Objective-C Pointer Computing Software engineering Computer programming
894	[Faculty of Science Information and Computing Sciences] Typed Transformations of Typed Abstract Syntax Arthur Baars Add to Reading List Source URL: foswiki.cs.uu.nl Language: English - Date: 2009-01-28 10:18:17 Procedural programming languages Type theory ALGOL 68 Type system C D Programming language theory Software engineering Computing
895	LISP/370 : Manipulation of Data-List Structures Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2012-10-09 11:51:59 Functional languages Lisp VM MVS Genera S-expression Interpreter Common Lisp Conversational Monitor System Computing Software Lisp programming language
896	LISP 1.5 Implementation on the CD 3600 and the IBM System /360 Series Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2011-01-25 18:47:03 Lisp programming language Functional languages Lisp IBM System/360 Common Lisp LISP 2 Computing Software engineering Computer programming
897	Base Platform ABI for the ARM Architecture Add to Reading List Source URL: infocenter.arm.com Language: English Programming language implementation Computer file formats Portable Executable Dynamic-link library Library Application binary interface Static library Dynamic linker Linker Software Computing System software
898	LISP 1.5 Implementation on the CD 3600 and the IBM System /360 Series Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2011-01-25 18:47:03 Lisp programming language Functional languages Lisp IBM System/360 Common Lisp LISP 2 Computing Software engineering Computer programming
899	Erlang/OTP System Documentation Copyright © [removed]Ericsson AB. All Rights Reserved. Erlang/OTP System Documentation 5.8 June[removed] Copyright © [removed]Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Cross-platform software Ericsson Erlang Erlang programming language Linux Autoconf Opa Debian Software Computing System software
900	TypePlug Pluggable Type Systems for Smalltalk Masterarbeit der Philosophisch-naturwissenschaftlichen Fakult¨at der Universit¨at Bern Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2007-04-25 11:11:54 Computing Type system Type inference Smalltalk Type safety Dynamic dispatch Typing environment Reflection ML Software engineering Type theory Programming language theory

UPDATE